COM: well fnd summary

COM: well fnd intro

ABS: WellFnd{i}(A;x,y.R(x;y))

STM: wellfounded wf

COM: INV IMAGE com

STM: inv image ind a

STM: inv image ind tp

STM: inv image ind

COM: WFND FUNCTIONALITY tcom

STM: comb for wellfounded wf

STM: wellfounded functionality wrt implies

STM: wellfounded functionality wrt iff

COM: well fnd end